Search
Given,
a * [b * (c * d)] = a * [(b . d)c - (b * c)d]
=> a * [b * (c * d)] = a * {(b . d)c} - a * {(b * c)d}
=> a * [b * (c * d)] = (b . d)(a * c) - (b . c)(a * d)